Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
981	Decision methods for arithmetic Third summer school on formal methods Leonardo de Moura Microsoft Research Symbolic Reasoning Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Propositional calculus Theoretical computer science Rules of inference Logic programming Resolution Literal Clause Automated theorem proving Logic Mathematical logic
982	Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent Foundation Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-11-27 15:43:03 Type theory Dependently typed programming Logic in computer science Proof theory Mathematical constructivism Function Intuitionistic type theory Axiom of choice Constructible universe Mathematical logic Mathematics Logic
983	DATA MINING GUIDE LIST OF WEBSITES TO SEARCH FOR CLIENTS/RESUMES 1. Boolean 2. Referyes.com 3. LinkedIn 4. Theladders.com Add to Reading List Source URL: careersourceflorida.com Language: English - Date: 2015-03-31 13:19:02 Internet search engines Boolean algebra Google Search Web search engine George Boole Mathematical logic Science Information science Information retrieval Algebraic logic
984	Reductions for Synthesis Procedures? Swen Jacobs1 , Viktor Kuncak2 , and Philippe Suter2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-11-13 08:55:05 Automated theorem proving Logic programming Unification Function Expected value Integration by substitution First-order logic Μ operator Mathematics Mathematical logic Functions and mappings
985	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics
986	Awareness and forgetting of facts and agents Hans van Ditmarsch Fac. Philosophy, Dep. Logic University of Sevilla Sevilla, Spain Email: Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:16:22 Modal logic Theoretical computer science Philosophical logic Bisimulation Logic in computer science Epistemic modal logic Common knowledge Partition If and only if Mathematics Logic Mathematical logic
987	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
988	Beyond Differential Privacy: Composition Theorems and Relational Logic for f -divergences between Probabilistic Programs Gilles Barthe and Federico Olmedo IMDEA Software Institute, Madrid, Spain {Gilles.Barthe,Federico.O Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Functional analysis Distribution Interpretation Divergence Function Constructible universe Continuous function Mathematical analysis Mathematics Generalized functions
989	THINK 37 (AND 37A) PROBLEM SET 1 This set is due by noon on Thursday, October 4 to Otis Chodosh. (We will explain later how to best get it to him.) Write solutions to four of the following eight problems. Pick problems Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2012-09-28 10:03:43 Group theory Mathematical logic Mathematical constants Complex analysis Pi Number Square root Angle trisection Mathematical proof Mathematics Mathematical analysis Exponentials
990	Compact Representations for Shortest-‐Path Queries Pankaj K. Agarwal Duke University The paradigm of computing geometric summaries has Add to Reading List Source URL: www.cse.unr.edu Language: English - Date: 2012-12-20 19:29:20 Algorithm Mathematical logic Theoretical computer science Mathematical optimization Combinatorial optimization Mathematics Operations research Applied mathematics